package gestionedt.solveur;

import gestionedt.controllers.*;
import gestionedt.models.*;
import java.util.List;

/**
 *
 *
 */
public class Test {

    /**
     * @param args the command line arguments
     */
    public static void main(String[] args) {

        List<Enseignant> enseignants = new EnseignantJpaController().findEnseignantsAvecRel();
        List<Module> modules = new ModuleJpaController().findModulesAvecRel();
        List<Pool> pools = new PoolJpaController().findPoolsAvecRel();
        List<Prestation> prestations = new PrestationJpaController().findPrestationsAvecRel();
        List<Groupe> groupes = new GroupeJpaController().findGroupesAvecRel();
        List<Creneau> creneaux = new CreneauJpaController().findCreneauxAvecRel();

        SolveurEDT solveur = new SolveurEDTCHOCO(enseignants,
                                                 modules,
                                                 pools,
                                                 prestations,
                                                 groupes,
                                                 creneaux);
        if(solveur.resoudre())
            System.out.println("Solution trouvée.");
        else {
            System.out.println("Pas de solution.");
            String[] conflits = solveur.verifier();
            System.out.println("Liste des conflits (s'il y en a) :");
            for(String conflit : conflits)
                System.out.println("- " + conflit);
        }
    }
}
